sistemdeki türetilebilir teoremlerin gerçekle eşleştirildiği bir formel sistem yorumu - Türkisch Englisch Wörterbuch